Efficient Sessions K.C. Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster Purdue University, West Lafayette, IN, USA Abstract

Source URL: kcsrk.info

• Computing
• Concurrent computing
• Inter-process communication
• Network architecture
• Network protocols
• World Wide Web
• Distributed computing architecture
• Middleware
• Remote procedure call
• Session
• Distributed object communication
• Communications protocol

暗号プロトコル評価対象の概要 独立行政法人 情報通信研究機構 1.プロトコル名：Extensible Authentication Protocol Method for Global System for Mobile Communications

Source URL: crypto-protocol.nict.go.jp

Smart Meter Aggregation via Secret-Sharing George Danezis, Cédric Fournet, Markulf Kohlweiss, Santiago Zanella-Béguelin Microsoft Research, Cambridge, UK {gdane,fournet,markulf,santiago}@microsoft.com

Source URL: www0.cs.ucl.ac.uk

• Cryptography
• Electric power
• Secure multi-party computation
• Public-key cryptography
• Electricity meter
• Smart meter
• Smart grid
• Cryptographic protocol
• Privacy
• Communications protocol
• Zero-knowledge proof

Statically Checking API Protocol Conformance with Mined Multi-Object Specifications Michael Pradel Department of Computer Science ETH Zurich, Switzerland

Source URL: mp.binaervarianz.de

• Data types
• Object-oriented programming
• Iterator
• Object
• Communications protocol
• Application programming interface
• Objective-C
• Type system
• Software bug
• Class

PDF Document

Source URL: www.nerim.fr

• Videotelephony
• Cisco Systems
• Skinny Call Control Protocol
• VoIP phone
• Voice over IP
• Voicemail
• Selsius Systems
• Unified communications

PDF Document

Source URL: db.csail.mit.edu

• Wireless networking
• Computing
• Network architecture
• Wireless ad hoc network
• Routing
• Communications protocol
• Topology control
• Charles Stark Draper
• Science and technology

PDF Document

Source URL: ceng.usc.edu

• Wireless networking
• Technology
• Wireless
• Computing
• Vehicular ad hoc network
• Mobile ad hoc network
• Vehicular communication systems
• Wireless ad hoc network
• Vehicle-to-vehicle
• Communications protocol
• Wireless sensor network
• Mobile computing

PDF Document

Source URL: seclab.stanford.edu

• Cryptography
• Public-key cryptography
• Protocol composition logic
• Automated theorem proving
• Cryptographic protocols
• Substitution
• Digital signature
• Communications protocol
• Transport Layer Security

PDF Document

Source URL: www.urop.uci.edu

• Computing
• Undergraduate Research Opportunities Program
• University of Michigan
• University of Minnesota
• Form
• Proposal
• Email
• Communications protocol
• Institutional Animal Care and Use Committee
• Web browser
• World Wide Web
• Cyberspace

PDF Document

Source URL: db.csail.mit.edu

• Wireless networking
• Network performance
• Data transmission
• Throughput
• Computing
• Communications protocol
• Wireless sensor network
• Media access control
• Technology